Performance Analysis of Communication Systems Formally Specified in SDL

This paper first presents the SDL–oriented method of software design and then points out how to handle the non–functional, quantitative design of an SDL–system using performance analysis. Finally, a new tool, named SDL Performance Evaluation Tool (SPEET)1, is presented for the performance analysis of formally specified systems under real–time conditions. SPEET facilitates the simulation and emulation of several formal specifications at the same time. The systems to be simulated, resp. to be emulated, can be triggered by traffic load generators and can be interconnected with transmission links which correspond to physical channels. The user can easily define probes within the formal specifications. The data of these probes generated during simulation runs, resp. emulation runs, can be statistically evaluated. SPEET provides a new Computer Aided Software Engineering (CASE) oriented solution for product development using formal methods.